Thesis Abstract: Constructing Heuristics for PDDL+ Planning Domains Wiktor Piotrowski Supervised by: Daniele Magazzeni and Maria Fox Department of Informatics King’s College London United Kingdom

Source URL: icaps16.icaps-conference.org

• Automated planning and scheduling
• Artificial intelligence
• Planning Domain Definition Language
• Mathematical optimization
• Model checking
• Heuristic
• Motion planning
• Genetic algorithm
• Protein domain
• Cognitive science
• Learning

Chainspace: A Sharded Smart Contracts Platform Mustafa Al-Bassam∗ , Alberto Sonnino∗ , Shehar Bano∗ , Dave Hrycyszyn† and George Danezis∗ ∗ University College London, United Kingdom † constructiveproof.com

Source URL: sheharbano.com

• Computing
• Cryptocurrencies
• Transaction processing
• Data management
• Data
• Blockchains
• Information
• Alternative currencies
• Two-phase commit protocol
• Database transaction
• Consensus
• Ethereum

On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Measure theory
• Mathematics
• Probability and statistics
• Determinacy
• Stochastic game
• Strategy
• Markov chain
• Stochastic process
• Support
• Mathematical optimization
• Statistical model

1 A Localization Approach for Crowdsourced Air Traffic Communication Networks Martin Strohmeier∗ , Vincent Lenders+ , Ivan Martinovic∗ of Oxford, United Kingdom + armasuisse, Switzerland

Source URL: www.lenders.ch

• Wireless
• Air traffic control
• Geolocation
• Technology
• Navigation
• Elementary geometry
• Euclidean geometry
• Multilateration
• Ubiquitous computing
• Flightradar24
• Wide area multilateration
• Automatic dependent surveillance broadcast

Regulation of Drones Australia • Canada • China • France • Germany • Israel Japan • New Zealand • Poland • South Africa Sweden • Ukraine • United Kingdom European Union

Source URL: www.loc.gov

• Unmanned aerial vehicles
• Robotics
• Avionics
• Pilot licensing and certification
• Aviation
• Technology
• Control engineering
• Regulation of unmanned aerial vehicles
• Unmanned aircraft in Singapore

Mycol. Res): 26–34 (Januaryf The British Mycological Society 26 DOI: S0953756203008864 Printed in the United Kingdom.

Source URL: www.ascofrance.com

United Kingdom Microwave Group UKµG Scatter Point - Pilot Issue November 1999

Source URL: www.microwavers.org

Genting Privacy Notice for prospective employees, workers and contractors Edition Date: 22 May 2018 What is the purpose of this document? Genting Casinos UK Limited (registered in the United Kingdom under company number

Source URL: gentingcareers.co.uk

Archives On-Line THE ESTABLISHMENT OF A UNITED KINGDOM ARCHIVAL NETWORK National Council on Archives 1998

Source URL: www.archives.org.uk

Space Generation Advisory Council – 2014 Move An Asteroid Competition Global Asteroid Risk Analysis Rumpf, Clemens University of Southampton, United Kingdom,

Source URL: archives.spacegeneration.org